課程名稱 |
應用數學邏輯特論 SPECIAL TOPICS ON APPLIED MATHEMATICAL LOGIC |
開課學期 |
96-2 |
授課對象 |
電機資訊學院 電子工程學研究所 |
授課教師 |
江介宏 |
課號 |
EEE5034 |
課程識別碼 |
943EU0360 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期四2,3,4(9:10~12:10) |
上課地點 |
電二106 |
備註 |
本課程以英語授課。本課程以英語授課。本課程以英語授課。本課程以英 總人數上限:50人 |
課程網頁 |
http://cc.ee.ntu.edu.tw/~jhjiang/instruction/courses/spring08-logic/logic.html |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
Course outline.
1. Introduction to mathematical logic
2. Sentential logic
3. First-order logic
4. Undecidability
5. Logic in computer science and verification
6. Propositional proof procedures
7. First-order proof procedures
8. Solving logical equations
9. Optimization methods for logical inference
10. Efficient implementations of decision procedures |
課程目標 |
Mathematical logic lays the foundation of mathematics, and has pervasive applications in computer science, such as programming language, hardware/software verification and synthesis, artificial intelligence, etc. Unfortunately it has been missing from the curriculums of major universities in Taiwan. This course aims at introducing the fundamental elements of mathematical logic and at covering selected applications in computer science. |
課程要求 |
Prerequisite:
Discrete Mathematics |
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
|
參考書目 |
Textbook: H. Enderton, A Mathematical Introduction to Logic, Academic Press, 2002.
V. Chandru and J. Hooker, Optimization Methods for Logical Inference, John Wiley & Sons, Inc., 1999.
Reference: M. Fitting, First-Order Logic and Automated Theorem Proving, Springer, 1996. |
評量方式 (僅供參考) |
No. |
項目 |
百分比 |
說明 |
1. |
Project |
20% |
|
2. |
Final exam |
25% |
|
3. |
Midterm exam |
25% |
|
4. |
Homework |
30% |
|
|
|